Luca Cardelli - PDFSEARCH.IO - Document Search Engine

Luca Cardelli
Results: 34

#	Item
21	Type Systems Luca Cardelli Digital Equipment Corporation Systems Research Center 1 Introduction Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 1997-01-06 09:33:32 Programming language theory Data types Type system Strong typing Type inference Programming language Pointer Typing environment Ada Software engineering Computing Type theory
22	Greedy regular expression matching Alain Frisch INRIA Luca Cardelli MSRC Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Pattern matching Regular expressions Procedural programming languages Data types Type theory Subtype polymorphism TRE ALGOL 68 Luca Cardelli Software engineering Computing Computer programming
23	Greedy regular expression matching Alain Frisch (ENS Paris) Luca Cardelli (MSR Cambridge) PLAN-X 2004 p.1/16 Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:33 Procedural programming languages Object-oriented programming Data types C++ Regular expression ALGOL 68 Iterator C++ classes Set Software engineering Computing Computer programming
24	Describing Semistructured Data* Luca Cardelli Microsoft Research Abstract Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:49 Mathematics Information science Binary trees Tree Dan Suciu
25	Junior 14 & Under Equitation Fields & Fences Fields & Fences Add to Reading List Source URL: www.nihja.net Language: English - Date: 2015-05-24 23:33:29 Equitation Jayden Luca Cardelli Year of birth missing Maddi
26	2014 Robert Stewart Distinguished Lecture Luca Cardelli Royal Society Research Professor, University of Oxford Microsoft Research Cambridge Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2014-03-05 10:35:03 Complex systems theory Systems Cybernetics Year of birth missing Luca Cardelli Polyphonic C sharp Complexity Obliq Modula-3 Software engineering Science Computing
27	Type Systems Luca Cardelli Microsoft Research 1 Introduction The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program. This informal statement motivates th Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2007-10-27 12:43:06 Programming language theory Data types Cross-platform software Program analysis Procedural programming languages Type system Strong typing Type inference Programming language Software engineering Type theory Computing
28	Modula-3: Language definition (single page) Modula-3: Language definition (single page) Designed and written by Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson. Add to Reading List Source URL: www.eah-jena.de Language: English - Date: 2007-10-15 12:28:52 Data types Procedural programming languages Type theory Cross-platform software Modula-3 Modula-2 Oberon Modula Pascal Software engineering Computing Computer programming
29	1 Computing Surveys, Vol 17 n. 4, pp[removed], December 1985 On Understanding Types, Data Abstraction, and Polymorphism Luca Cardelli Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2007-10-27 09:17:29 Programming language theory Data types Polymorphism Object-oriented programming Functional programming Subtype polymorphism Parametric polymorphism Ad-hoc polymorphism Type system Software engineering Type theory Computing
30	Squeak: a Language for Communicating with Mice Luca Cardelli Rob Pike ABSTRACT Graphical user interfaces are difficult to implement because of the essential concurrency among multiple interaction devices, such as mice, b Add to Reading List Source URL: swtch.com Language: English - Date: 2012-07-14 06:50:31 Software Computer programming Event Subroutines Mouse button Mouse GUI widget Double-click Click consonant Computing Humanâ€“computer interaction User interface techniques